Skip to content

Allow explicit product ID in traces#64

Merged
mhatzl merged 3 commits into
mainfrom
mh/req-pk-trace
Jul 10, 2026
Merged

Allow explicit product ID in traces#64
mhatzl merged 3 commits into
mainfrom
mh/req-pk-trace

Conversation

@mhatzl

@mhatzl mhatzl commented Jul 10, 2026

Copy link
Copy Markdown
Owner

Adds the ability to specify the product ID in traces using JSON5 object notation

#[req({ id: "req-id", product_id: "product-id" }}]

This is a breaking change for the annotation schema, but only if used as library.
The deserialization was built to be backwards compatible with v0.8.0.

mhatzl added 3 commits July 8, 2026 19:08
besides string literal for the requirement ID, traces now accept
"{ id: "<requirement ID>", product_id: "<product ID>" }"
It is now possible to explicitly set a product id for a requirement trace.
@mhatzl
mhatzl merged commit 551bc61 into main Jul 10, 2026
2 checks passed
@mhatzl
mhatzl deleted the mh/req-pk-trace branch July 10, 2026 10:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant